Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
441	Markov Chain Monte Carlo Data Association for General Multiple Target Tracking Problems Songhwai Oh, Stuart Russell, Shankar Sastry Abstract— In this paper, we consider the general multiple target tracking problem in w Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-08-19 18:10:52 Applied mathematics Logic Ordinal number Combinatory logic Mathematics
442	A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:19 Theoretical computer science Applied mathematics Generic programming Sheaf Combinatory logic Holomorphic functional calculus Mathematics Computability theory Lambda calculus
443	A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:04 Mathematical logic Models of computation Logic in computer science Combinatory logic Digital electronics Fixed-point combinator Function Reversible computing SKI combinator calculus Theoretical computer science Mathematics Lambda calculus
444	Games and Modal Mu-Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:05 Mathematics Logic in computer science Philosophical logic Non-classical logic Kripke semantics Modal μ-calculus Combinatory logic Temporal logic Modal depth Logic Mathematical logic Modal logic
445	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science
446	WSAA 31 Peter Eliaš On inclusions between Arbault sets In: Bohuslav Balcar and Ondřej F. K. Kalenda and Miroslav Zelený (eds.): Proceedings of the 31st Winter School on Abstract Analysis. Charles University, Praha, 2 Add to Reading List Source URL: www.saske.sk Language: English - Date: 2012-02-20 06:06:19 Logic in computer science Integer sequences Polynomials Transforms Limit superior and limit inferior Theorems and definitions in linear algebra Mathematics Combinatory logic Lambda calculus
447	An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:18:48 Mathematical logic Type theory Logic in computer science Theory of computation Simply typed lambda calculus Free variables and bound variables Combinatory logic Type system Normalisation by evaluation Theoretical computer science Mathematics Lambda calculus
448	Modal and Temporal Logics for Processes Colin Stirling Dept. of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:46 Combinatory logic Diagrams Science Quantum mechanics Selection rule Spectroscopy
449	Paul Oppenheimer and Edward Zalta Reflections on the Logic of the Ontological Argument∗ Paul E. Oppenheimer Stanford University Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2008-01-04 12:12:03 Combinatory logic Arguments for the existence of God Ontological argument Lambda calculus

UPDATE